Cubical Agda
#Fleeting_Notes
Cubical Agda
Cubical Type Theory
を
Agda
で実装したもの
Cubical agda: a dependently typed programming language with univalence and higher inductive types
. 2019-07-26
確認用
Q. Cubical Agda
メモ
Cubical Agda: a cold Introduction – Nextjournal
. 2021-02-18
Probability Monads in Cubical Agda - Donnacha Oisín Kidney
. 2019-04-17
調査用
Google.icon
Cubical Agda(日)
Google.icon
Cubical agda(英)
Wikipedia.icon
Cubical Agda - Wikipedia(日)
Cubical Agda(検索) - Wikipedia(日)
Wikipedia.icon
Cubical agda - Wikipedia(英)
Cubical agda(検索) - Wikipedia(英)
#Higher_Inductive_Type_(HIT)